args dir_arg

// If no directory argument provided, set manually here:
if "`dir_arg'" == "" {
    global directory " <PUT DIRECTORY PATH HERE> "
}
else {
    do "`dir_arg'/do/set_directory.do" "`dir_arg'"
}

do "${directory}/do/main_paper_exhibits.do"
do "${directory}/do/appendix_exhibits.do"
